package org.givwenzen.editors;

import org.eclipse.ui.editors.text.TextEditor;

public class GWZEditor extends TextEditor {

	private ColorManager colorManager;

	public GWZEditor() {
		super();
		colorManager = new ColorManager();this. 
		setSourceViewerConfiguration(new GWZConfiguration(colorManager));
		setDocumentProvider(new GWZDocumentProvider());
	}
	
	public void dispose() {
		colorManager.dispose();
		super.dispose();
	}

}
